Consistency-based diagnosis of configuration knowledge bases
نویسندگان
چکیده
منابع مشابه
Consistency-Based Diagnosis of Configuration Knowledge Bases
Configuration problems are a thriving application area for declarative knowledge representation that currently experiences a constant increase in size and complexity of knowledge bases. Automated support of the debugging of such knowledge bases is a necessary prerequisite for effective development of configurators. We show that this task can be achieved by consistency-based diagnosis techniques...
متن کاملTesting Configuration Knowledge-Bases
Writing tests for configuration knowledge-bases is a difficult task. One not minor reason is the huge search space. For exhaustive testing, all possible combinations of configuration parameters must be considered. In practice, exhaustive testing is thus often impossible, due to the sheer, exponential, number of combinations. Consequently it becomes necessary to focus on the most important confi...
متن کاملConsistency of scientific knowledge bases
The Plinius-project at the University of Twente is aimed at constructing large-scale knowledge bases in scientific and engineering domains, through computer analysis of natural-language texts. One of the many problems in this endeavor is caused by inconsistencies in the scientific literature. In this short report (of which a fuller version is available [de Jong, 1992]) we describe our approach ...
متن کاملExploiting structural abstractions for consistency based diagnosis of large configurator knowledge bases
Debugging, validation, and maintenance of configurator knowledge bases are important tasks for the successful deployment of product configuration systems, due to frequent changes (e.g., new component types, new regulations) in the configurable products. Model based diagnosis techniques have shown to be a promising approach to support the test engineer in identifying faulty parts in declarative ...
متن کاملA consistency-based framework for merging knowledge bases
We present a framework for expressing various merging operators for belief sets. This framework generalises our earlier work on consistency-based belief revision and contraction. Two primary merging operators are identified: in the first approach, belief sources are consistently combined so that the result of merging knowledge bases K1, . . . ,Kn is a maximal consistent (if possible) set of for...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2004
ISSN: 0004-3702
DOI: 10.1016/s0004-3702(03)00117-6